منابع مشابه
Abstracting Abstraction in Search II: Complexity Analysis
ing Abstraction in Search II: Complexity Analysis Christer Bäckström and Peter Jonsson Department of Computer Science, Linköping University SE-581 83 Linköping, Sweden [email protected] [email protected]
متن کاملFrom Abstraction to Realization
Prototypes One of the truly powerful tools in usage-centered design is the abstract prototype [Constantine, 1998; Constantine & Lockwood, 1999]. An abstract prototype allows designers to describe the contents and overall organization of a user interface without specifying its detailed appearance or behavior; it is, thus, a model of the architecture of the user interface being designed. We and o...
متن کاملFrom Massive Gravity to Dark Matter Density Ii
As previously observed the massless limit of massive gravity leads to a modification of general relativity. Here we study spherically symmetric solutions of the modified field equations which contain normal matter together with a dark energy density. If the dark density profile is assumed to be known, the whole problem is reduced to a linear first order differential equation which can be solved...
متن کاملWeak Lensing from Space Ii: Dark Matter Mapping
We study the accuracy with which weak lensing measurements can be made from space, and the subsequent resolution of both 3-dimensional and projected 2-dimensional dark matter maps. As a baseline, we use the instrumental specifications of the Supernova/Acceleration Probe (SNAP) satellite. We compute the sensitivity to shear as a function of depth for space-based observations. Our predictions are...
متن کاملDark matter search results from the CDMS II experiment.
Astrophysical observations indicate that dark matter constitutes most of the mass in our universe, but its nature remains unknown. Over the past decade, the Cryogenic Dark Matter Search (CDMS II) experiment has provided world-leading sensitivity for the direct detection of weakly interacting massive particle (WIMP) dark matter. The final exposure of our low-temperature germanium particle detect...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Laval théologique et philosophique
سال: 1960
ISSN: 0023-9054,1703-8804
DOI: 10.7202/1019986ar